Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
301	T P A 2010 L  M B The Presburger Award Committee, consisting of Stefano Leonardi, Andrzej Tarlecki, and Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:45:05 Applied mathematics Formal languages International Colloquium on Automata Languages and Programming Presburger Award Symposium on Theoretical Aspects of Computer Science Alphabet European Association for Theoretical Computer Science Symposium on Theory of Computing Theoretical computer science Computer science Automata theory
302	trx : Regular-tree expressions, now in Scheme Ilya Bagrak University of California, Berkeley Olin Shivers Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:32 Computer programming Tree automaton Pattern matching Regular expression Pushdown automaton Binary tree Abstract syntax tree Nondeterministic finite automaton Finite-state machine Software engineering Automata theory Computing
303	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:03 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
304	Complexity and Universality of Iterated Finite Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:05 Automata theory Computer science Cellular automata Computability theory Cellular automaton Finite-state machine Finite state transducer A New Kind of Science Turing machine Theory of computation Models of computation Theoretical computer science
305	A Small-world Network Where All Nodes Have the Same Connectivity, with Application to the Dynamics of Boolean Interacting Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Social networks Network theory Watts and Strogatz model Small-world network Scale-free network Connectivity Topology Barabási–Albert model Network topology Graph theory Networks Random graphs
306	Commuting Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Group theory Algebraic structures Nonassociative algebra Quasigroup Abelian group Idempotence Group Group homomorphism Outline of algebraic structures Abstract algebra Algebra Mathematics
307	No Polynomial Bound for the Period of Neuronal Automata with Inhibitory Memory Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 Recurrence relation Estimation theory Mathematics Exponentials Exponentiation
308	PDF Document Add to Reading List Source URL: precedings.nature.com Language: English Mathematical and theoretical biology Bioinformatics Interdisciplinary fields Robert Rosen Systems biology Society for Mathematical Biology Automata theory Systems theory Biophysics Science Biology Applied mathematics
309	PDF Document Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-07-18 15:36:22 Finite model theory Game theory Parity game Determinacy Vertex cover Structure End Mathematics Theoretical computer science Mathematical logic
310	PDF Document Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Computer science Finite-state machine Deterministic finite automaton Automata theory Models of computation Theoretical computer science

UPDATE